- Постусловие
-
9.24 Постусловие - предикат, задающий требования, которые должны быть справедливы непосредственно после осуществления действия.
Словарь-справочник терминов нормативно-технической документации. academic.ru. 2015.
9.24 Постусловие - предикат, задающий требования, которые должны быть справедливы непосредственно после осуществления действия.
Словарь-справочник терминов нормативно-технической документации. academic.ru. 2015.
Постусловие — условие, истинность которого проверяется после выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам … Финансовый словарь
постусловие — сущ., кол во синонимов: 1 • условие (12) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
постусловие — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN postcondition … Справочник технического переводчика
постусловие — постусл овие, я (от усл овие, программ.) … Русский орфографический словарь
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Продукционная модель представления знаний — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Продукционная модель знания — модель основанная на правилах, позволяет представить знание в виде предложений типа «Если (условие), то (действие)». Продукционная модель фрагменты Семантической сети, основанные на временных отношениях между состояниями объектов. Продукционная… … Википедия